Coding in AI Era: Adapt Your Methods
🎭Program Synthesis
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
V8: Digging into the TurboFan JIT (2015)
🚀Performance
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
The “Jankiest” way of writing Ruby gems
mauricio.szabo.link·3h
🔵Clojure
Flag this post
Built a Claude Skill That Optimizes Your Docs/README for LLMs So They Actually Understand Them (based on c7score and llmstxt formats)
💬Prompt Engineering
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·1h
🤖Transformers
Flag this post
Scheduling in LLM Inference
🐍Python
Flag this post
Running Java on iOS
infoq.com·2d
🖥️SerenityOS
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
AI Limits: How Junior Developers Can Thrive by Understanding AI's Limits
💬Prompt Engineering
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post
How the PolyBlocks AI Compiler Works
🌐SIMD.js
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·14h
🎨API Design
Flag this post
Loading...Loading more...